University of Edinburgh School of Informatics - PDFSEARCH.IO - Document Search Engine

University of Edinburgh School of Informatics
Results: 305

#	Item
191	Automatic Analysis of Plot for Story Rewriting Harry Halpin School of Informatics University of Edinburgh 2 Buccleuch Place Edinburgh, EH8 9LW Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-08-21 08:52:16 Natural language processing Computational linguistics Information retrieval Latent semantic analysis Inter-rater reliability Algorithm K-nearest neighbor algorithm Science Statistics Information science
192	Combining Multiple Knowledge Sources for Dialogue Segmentation in Multimedia Archives Pei-Yun Hsueh School of Informatics University of Edinburgh Edinburgh, UK EH8 9WL Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-08-21 08:52:15 Market segmentation Text segmentation Segment Speech recognition Science Humanâ€“computer interaction Software Image processing Segmentation Computational linguistics
193	Regular Expressions for Data Words Leonid Libkin and Domagoj Vrgoˇc School of Informatics, University of Edinburgh Abstract. In data words, each position carries not only a letter form a finite alphabet, as the usual wo Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2012-04-04 06:54:58 Mathematics Combinatorics String Regular language Regular expression Symbol Ω-automaton Formal languages Automata theory Theoretical computer science
194	The Use of Rippling to Automate EventB Invariant Preservation Proofs Yuhui Lin, Alan Bundy& Gudmund Grov School of Informatics University of Edinburgh NFM 2012 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:44 Heuristics Rippling Knowledge Mathematical proof Invariant Lemmas Mathematics Linguistics Automated theorem proving
195	Exploring User Satisfaction in a Tutorial Dialogue System Myroslava O. Dzikovska, Johanna D. Moore School of Informatics, University of Edinburgh Edinburgh, United Kingdom m.dzikovska, Natalie Steinhauser Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-07-22 12:41:32 Science Evaluation methods Technical communication Usability Tutor Intelligent tutoring system Questionnaire Human factors Computer user satisfaction Education Human–computer interaction Knowledge
196	Static Analysis and Query Answering for Incomplete Data Trees with Constraints Am´elie Gheerbrant1,2 , Leonid Libkin1 , and Juan Reutter1,3 1 School of Informatics, University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-12-13 04:59:45 Tree XML Model theory Decomposition method Ω-automaton Computing Automata theory Tree automaton
197	Participant Subjectivity and Involvement as a Basis for Discourse Segmentation John Niekrasz and Johanna Moore Human Communication Research Centre School of Informatics University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-03-12 12:39:41 Computational linguistics Data mining Segmentation Algorithm Artificial intelligence Text segmentation Automatic summarization Genre Linguistics Image processing Science Natural language processing
198	Computational Modelling of Structural Priming in Dialogue David Reitter, Frank Keller, Johanna D. Moore dreitter \| keller \| jmoore @ inf.ed.ac.uk School of Informatics University of Edinburgh United Kingdom Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-08-21 08:52:15 Cognition Philosophy of mind Perception Priming Treebank Syntactic Structures Recall Negative priming Mind Cognitive science Memory
199	The Use of Rippling to Automate EventB Invariant Preservation Proofs Yuhui Lin, Alan Bundy& Gudmund Grov School of Informatics University of Edinburgh www.inf.ed.ac.uk Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:35 Mathematics Mathematical proof Knowledge Automated theorem proving Heuristics Rippling
200	International Innovation In Artificial Intelligence Artificial Intelligence Applications Institute Four decades of worldworld-leading research and teaching in AI at Edinburgh Two decades of innovative applications of AI Add to Reading List Source URL: www.aiai.ed.ac.uk Language: English - Date: 2003-05-14 09:16:07 Artificial intelligence applications Artificial Intelligence Applications Institute University of Edinburgh Computational neuroscience Applications of artificial intelligence Ai University of Edinburgh School of Informatics Austin Tate Science Artificial intelligence Knowledge

UPDATE